Date: Tue, 05 Nov 1996 00:26:15 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Wed, 19 Jun 1996 02:02:26 GMT
Content-length: 7157

<HTML>
<HEAD>
<TITLE> AI at the Univ. of Wisconsin - Madison </TITLE>
</HEAD>

<BODY>
<!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG ALIGN=MIDDLE 
     SRC="http://www.cs.wisc.edu/~shavlik/images/badger.gif" 
     ALT="University of Wisconsin -- Madison">
<!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG ALIGN=MIDDLE
     SRC="http://www.cs.wisc.edu/~dyer/images/uwlogo.qtr2.gif">

<H1> AI Research and Education in the Computer Sciences Department </H1>

This is the World Wide Web home page for the AI Group in the 
<!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.wisc.edu/">
University of Wisconsin Computer Sciences Department.</A>
<P>

We are studying computer vision, robotics, machine learning, and
automated deduction. Themes in 
<!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/vision.html"> computer vision</A> and 
<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://robios8.me.wisc.edu"> robotics</A>
include active approaches for
controlling camera position and orientation in order to solve tasks such as
navigation, scene exploration, and surface reconstruction.  
<!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwml.html"> Machine learning</A>
research focuses on the integration of symbolic and connectionist (neural
network) approaches to AI; these methods are being applied to problems in the
Human Genome Project and the design of adaptive agents.  
<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/kunen.html">Automated deduction</A>
studies methods for computer generation of formal proofs in logical systems,
and is being applied to deductive databases and to discovering new
mathematical theorems.
<P>

<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><img src="http://www.cs.wisc.edu/~shavlik//~shavlik/images/rainline.gif">
<P>

<H2> Table of Contents </H2>
 <UL>
  <LI> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="#groups">
          Research Groups</A>
  <LI> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/ai-students.html">
          AI Graduate Students</A>
  <LI> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="#papers">
          Recent Papers</A>
  <LI> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="#courses">
          AI Courses</A>
  <LI> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="#qual">
          PhD Qualifying Exam in AI</A>
  <LI> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/aisem/aisem.html">
          The AI Seminar</A>
  <LI> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwai-mailing-lists.html">
	  Local AI-Related Mailing Lists</A>
  <LI> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="#misc">
          Miscellaneous Useful Information</A>
 </UL>

<!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><img src="http://www.cs.wisc.edu/~shavlik//~shavlik/images/rainline.gif">
<P>

<!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="#toplink" NAME="groups">
<H2> Research Groups </H2>
</A>
The research groups of the following faculty members are doing AI research.
<P>

 <UL>

  <H3> Computer Vision and Robotics </H3> 
   <UL>
    <LI>  <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/"> Chuck Dyer</A>
           (his group's <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.wisc.edu/~shavlik//computer-vision/"> page</A>)
    <LI>  <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><A HREF="http://robios8.me.wisc.edu/lumelsky.html"> Vladimir Lumelsky</A>
  	   (his robotics lab's <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://robios8.me.wisc.edu"> page</A>)
   </UL>
  <H3> Machine Learning (including Neural Networks) </H3> 
   <UL>
    <LI>  <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><A HREF="http://www.cs.wisc.edu/~shavlik//~olvi/olvi.html"> Olvi Mangasarian</A>
           (his machine-learning <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.wisc.edu/~shavlik//~olvi/uwmp/mpml.html"> page</A>)
    <LI>  <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/"> Jude Shavlik</A>
  	   (his group's <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwml.html"> page</A>)
   </UL>
  <H3> Automated Deduction and Expert Systems </H3> 
   <UL>
    <LI>  <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/kunen.html"> Ken Kunen</A>
    <LI>  <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="http://www.cs.wisc.edu/~shavlik//~so/travis.html"> Larry Travis</A> (emeritus)
   </UL>
  
 </UL>

Check out a fun demo of Seitz and Dyer's
<!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><A HREF="http://www.cs.wisc.edu/~seitz/interp/vmorph.html">morphing work</A>.
<P>

  
<!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="#toplink" NAME="grads">
<H2> AI Graduate Students </H2>
</A>
Click <!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/ai-students.html">
here</A> for a list of AI graduate students and their research interests.
<P>

<!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="#toplink" NAME="papers">
<H2> Recent Papers </H2>
</A>
Postscript versions of some of our recent papers are available.
<P>

 <UL>
  <LI> FTP directory of papers on 
       <!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="http://www.cs.wisc.edu/~shavlik//computer-vision/pubs.html">
       Computer Vision</A>
       (<!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><A HREF="http://www.cs.wisc.edu/computer-vision/pubs.html">HTML interface</A>)
  <LI> FTP directory of papers on
       <!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><A HREF="ftp://ftp.cs.wisc.edu/machine-learning/shavlik-group">
       Machine Learning</A>
       (<!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/mlrg/publications.html">HTML interface</A>)
  <LI> FTP directory of papers on
       <!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><A HREF="ftp://robios8.me.wisc.edu/pub/Tech-Reps">
       Robotics</A>
 </UL>

<!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><A HREF="#toplink" NAME="courses">
<H2> AI Courses </H2>
</A>
The following AI courses are regularly offered:
<P>

 <UL>
  <LI> <!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/cs540-all.html"> 
        CS 540 - Introduction to Artificial Intelligence</A>
  <LI> <!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/cs760.html"> 
        CS 760 - Machine Learning</A>
  <LI> <!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/cs761.html"> 
        CS 761 - Deduction and Problem Solving</A>
  <LI> <!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/cs766.html"> 
        CS 766 - Computer Vision</A>
  <LI> <!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/cs780.html"> 
        CS 780 - Robot Motion Planning</A>
 </UL>

<!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><A HREF="#toplink" NAME="qual">
<H2> PhD Qualifying Exam in AI </H2>
</A>
Information about the qualifying examination for PhD candidacy in AI:
<P>

 <UL>
  <LI> <!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/ai-qual-overview.html">
	Overview</A>
  <LI> <!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/reading-list.ps">
	Reading List</A> (postscript)
  <LI> <!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/ai-qual-exams.html">
	Previous Exams</A>
 </UL>

<!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><A HREF="#toplink" NAME="aisem">
<H2> The AI Seminar </H2>
</A>
Click <!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/aisem/aisem.html">
here</A> to see the current schedule of the local AI seminar.
<P>

<!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><A HREF="#toplink" NAME="mail-lists">
<H2> Local AI-Related Mailing Lists </H2>
</A>
Click <!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwai-mailing-lists.html">
here</A> for information about subscribing to several
local AI-related mailing lists.
<P>

<!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><A HREF="#toplink" NAME="misc">
<H2> Miscellaneous Useful Information </H2>
</A>
 <UL>
  <LI> The <!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><A HREF="http://www.cs.wisc.edu/">home page</A>
       of the UW-Madison Computer Sciences Department. 
       (If you are interested in applying for graduate
       study in the CS dept, click 
       <!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><A HREF="http://www.cs.wisc.edu/~shavlik//~pubs/grad-admissions/">here</A>.)
  <LI> <!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwcompbio.html">
       Computational Biology in the UW-Madison CS Dept.,</A>
       some of which involves AI.
  <LI> <!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/journal-tocs/tocs.html"> 
       Recent Table of Contents and Abstracts of Selected AI Journals</A> 
       <BR> (mostly from Wendt Library; readable only if @cs.wisc.edu)
  <LI> The <!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><A HREF="http://sigart.acm.org/">SIGART home page</A>
       (special interest group on AI).  Includes links to many AI resources.
  <LI> <!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><A HREF="http://aaai.org/"> 
        AAAI home page</A> (American Association of Artificial Intelligence)
  <LI> The <!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><A HREF="http://ai.iit.nrc.ca/home_page.html">home page</A> 
       of the Knowledge Systems Laboratory of the Canadian National Research Council.
       Includes links to many AI resources.
  <LI> <!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><A HREF="http://www.cs.cmu.edu:8001/Web/Groups/AI/html/repository.html">
       CMU's AI Repository</A> of software, publications, and other
       materials of interest.
  <LI> <!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/external-ai.html">
       Additional AI-related links.</A>
       
 </UL>

<HR>
<ADDRESS>
Last modified: Thu Sep  7 17:52:47 1995 by Jude Shavlik
</ADDRESS>
<ADDRESS>
  <!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><A HREF="mailto:shavlik@cs.wisc.edu">shavlik@cs.wisc.edu</A>
</ADDRESS>
<HR>

</BODY>
</HTML>
